
#include <types.h>


/**
 * Output di 8 bit su una porta
 */
void io_outb(uint16_t port, uint8_t value)
{
}



/**
 * Input di 8 bit su una porta
 */
uint8_t io_inb(uint16_t port)
{
    uint8_t ret;
    return ret;
}




/**
 * Input di 16 bit su una porta
 */
uint16_t io_inw(uint16_t port)
{
    uint16_t ret;
    return ret;
}



/**
 * Output di 16 bit su una porta
 */	
void io_outw(uint16_t port, uint16_t value)
{
}




/**
 * Output di 32 bit su una porta
 */
void io_outd(uint16_t port, uint32_t value)
{
}



/**
 * Input di 32 bit su una porta
 */
uint32_t io_ind(uint16_t port)
{
    uint32_t ret;

    return ret;	
}


/**
 * Output di 64 bit su una porta
 */
void io_outl(uint16_t port, uint64_t value)
{
}




/**
 * Input di 64 bit su una porta
 */
uint64_t io_inl(uint16_t port)
{
    uint64_t ret = 0x0;
	
	return ret;	
}








